Article 3219

Title of the article

FUNCION BLOCK-BASED IMPLEMENTATION OF STATE TRANSITION MODELS 

Authors

Dubinin Victor Nikolaevich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), E-mail: dubinin.victor@gmail.com
Voinov Artem Sergeevich, Postgraduate student, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), E-mail: voj49@yandex.ru
Senokosov Ilya Vladimirovich, Engineer, “Cryptosoft” research and engineering enterprise (3 Lermontova street, Penza, Russia), E-mail: senokosov.i@yandex.ru
Vyatkin Valeriy Vladimirovich, Doctor of engineering sciences, professor, sub-department communication and computation systems, Lulea University of Technology (building A, Regnbagallen street, Lulea, Sweden), E-mail: valeriy.vyatkin@ltu.se 

Index UDK

519.713: 67.02 

DOI

10.21685/2072-3059-2019-2-3 

Abstract

Background. In connection with the widespread introduction in the field of industrial automation model-based design methodologies, there is a need to develop methods and tools for transforming the models to an executable code for controllers. The most promising programming language for distributed controllers is currently the language of function blocks (FB) of the IEC 61499 standard. The purpose of this work is to develop methods for transforming the most common state transition models, including non-deterministic finite and pushdown automata, as well as Petri nets to FB systems.
Materials and methods. This study used the statements and methods of the theory of finite automata and transition systems, pushdown automata, formal grammars and Petri nets, as well as software development methodology based on the IEC 61499 standard.
Results. In the course of the work the following scientific and practical results were obtained: 1) the implementation method of non-deterministic finite automata based on the IEC 61499 FB, the features of which are the representation of the automaton’s states using FBs, the use of a token transfer mechanism and a two-phase execution scheme; 2) the approach to the implementation of deterministic pushdown automata based on the IEC 61499 FB, the peculiar properties of which are the use of the graph representation of pushdown automata as an initial model and representation of the stack in the form of a separate FB; 3) the formal definition of selective Anets and the method of their implementation based on the IEC 61499 FB, the features of which are the presentation of places and transitions of the net model as separate FBs, as well as the presence of a special transition manager.
Conclusions. These implementation approaches can be used in the design of industrial cyber-physical systems for monitoring and diagnostics, conformance checking, detection and selection of specified sequences of events and parameterized objects from an input stream, as well as for the control of technological operations. 

Key words

non-deterministic finite automata, pushdown automata, Petri nets, Anets, detection, selection, conformance checking, function block, IEC 61499 standard, NxtStudio 

Download PDF
References

1. Dubinin V. N. Sovremennye informatsionnye tekhnologii: sb. tr. Mezhdunar. nauch.- tekhn. konf. [Modern information technologies: proceedings of an International scientific and technical conference]. Penza, 2013, iss. 18, pp. 7–24. [In Russian]
2. Dubinin V., Senokosov I., Vyatkin V. Lecture Notes in Artificial Intelligence. Cham: Springer, 2017, vol. 10444, pp. 80–91.
3. Aalst W. M. P. Process Mining: Data Science in Action. Springer Verlag, 2016, 467 p.
4. Polikarpova N. I., Shalyto A. A. Avtomatnoe programmirovanie [Automaton programming]. Saint-Petersburg: Piter, 2009, 176 p. [In Russian]
5. Khopkroft Dzh., Motvani R., Ul'man Dzh. Vvedenie v teoriyu avtomatov, yazykov i vychisleniy [Introduction into the theory of automata, languages and calculations]. Moscow: Vil'yams, 2002, 528 p. [In Russian]
6. Vyatkin V. IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design, Third Edition. Instrumentation Society of America (ISA), 2016, 261 p.
7. Drusinsky D. Modelling and verification using UML statecharts. Elsevier, 2006, 400 p. 8. Dubinin V. N., Budagovskiy D. A., Drozdov D. N., Artamonov D. V. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2016, no. 2 (38), pp. 18–32. [In Russian]
9. Vashkevich N. P., Biktashev R. A. Nedeterminirovannye avtomaty i ikh ispol'zovanie dlya realizatsii sistem parallel'noy obrabotki informatsii: monografiya [Nondeterministic automata and their use for implementing parallel data processing systems: monograph]. Penza: Izd-vo PGU, 2016, 394 p. [In Russian]
10. Sayt nxtStudio (nxtControl). Available at: http://www.nxtcontrol.com/
11. Dubinin V. N., Senokosov I. V., Klimkina L. P., Vyatkin V. V. Sovremennye tekhnologii v nauke i obrazovanii (STNO-2017): sb. tr. Mezhdunar. nauch.-tekhn. i nauch.-metodich. konf. [Modern technologies in science and education: proceedings of an International scientific, technical and methodological conference]. Ryazan, 2017, vol. 1, pp. 10–14. [In Russian]
12. Cui T., Zeng Q., Zhang D. Information Technology Journal. 2011, no. 10, pp. 106–112.
13. Ghanem N., DeMenthon D., Doermann D., Davis L. Conference on Computer Vision and Pattern Recognition (CVPRW '04), 2004, July.
14. Choppy C., Bertrand O., Carle P. Int. Conf. on Reliable Software Technologies – Ada-Europe 2009. Lecture Notes in Computer Science. Springer, 2009, vol. 5570, pp. 266–281.
15. Fernández V. R., Pardo A. G., Camacho D. IEEE Transactions on Industrial Informatics. 2018, vol. 14, iss. 6, pp. 2748–2759.
16. Leoni M., Munoz-Gama J., Carmona J., Aalst W. M. P. Lecture Notes in Computer Science. 2014, vol. 8841, pp. 3–20.
17. Dubinin V. N. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2009, no. 2, pp. 3–14. [In Russian]

 

Дата создания: 16.09.2019 09:30
Дата обновления: 16.09.2019 09:45